A reduction in carbon dioxide emission by a third party purchased by a heavy carbon dioxide producer as part of carbon emissions trading.